civil service (n.)

"the executive branch of the public service," as distinguished from the military, naval, legislative, or judicial, 1765, originally in reference to non-military staff of the East India Company, from civil in the sense "not military." Civil servant is from 1792.